Abductive Inference using Array-Based Logic
نویسندگان
چکیده
The notion of abduction has found its usage within a wide variety of AI fields. Computing abductive solutions has, however, shown to be highly intractable in logic programming. To avoid this intractability we present a new approach to logicbased abduction; through the geometrical view of data employed in array-based logic we embrace abduction in a simple structural operation. We argue that a theory of abduction on this form allows for an implementation which, at runtime, can perform abductive inference quite efficiently on arbitrary rules of logic representing knowledge of finite domains.
منابع مشابه
Logic-Based Abductive Inference
This paper surveys the work on abductive inference within the eld of artii-cial intelligence (AI), with particular attention to logic-based abduction. The paper commences with a formal description of three popular characterizations of abductive inference. This is followed by an examination of several speciic logic-based abductive frameworks, each of which applies syntactic restrictions to the f...
متن کاملMemory Leaks Detection in Java by Bi-abductive Inference
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-abductive inference for identifying the objects which are reachable but no longer used by the program.
متن کاملA Causal Theory of Abduction
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only traditional, ‘classical’ forms of abduction, but also abductive reasoning in diagnosis, theories of actions and change, and abductive logic programming.
متن کاملA Study on Fuzzy Abductive Inference
This paper proposes a fuzzy abductive inference to realize a creative thinking support system. The fuzzy logic is applied to Peng and Reggia's abductive inference for handling degrees of manifestations. Application of the new method to a diagnostic problem is shown and the e ectiveness of the proposed method is demonstrated by comparing the inferred results with those by the conventional fuzzy ...
متن کاملVariational Bayes Inference for Logic-Based Probabilistic Models on BDDs
Statistical abduction is an attempt to define a probability distribution over explanations derived by abduction and to evaluate them using their probabilities. In statistical abduction, deterministic knowledge like rules and facts are described as logic formulas. However nondeterministic knowledge like preference and frequency seems difficult to represent as logic. Bayesian inference can reflec...
متن کامل